home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c++ / 839 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  2.1 KB
  1. Path: engnews1.Eng.Sun.COM!usenet
  2. From: thp@cs.ucr.edu (Tom Payne)
  3. Newsgroups: comp.std.c++
  4. Subject: Re: Referencing pointers after delete
  5. Date: 25 Mar 1996 17:27:32 GMT
  6. Organization: University of California, Riverside
  7. Approved: clamage@eng.sun.com (comp.std.c++)
  8. Message-ID: <4j6k0r$hev@galaxy.ucr.edu>
  9. References: <4iushh$q3@galaxy.ucr.edu> <4ivdsv$p3p@engnews1.Eng.Sun.COM>
  10. NNTP-Posting-Host: taumet.eng.sun.com
  11. X-Nntp-Posting-Host: corvette.ucr.edu
  12. X-Newsreader: TIN [UNIX 1.3 950824BETA PL0]
  13. Content-Length: 1203
  14. X-Lines: 26
  15.  
  16. Steve Clamage (clamage@Eng.Sun.COM) wrote:
  17. : In article q3@galaxy.ucr.edu, thp@cs.ucr.edu (Tom Payne) writes:
  18. [...]
  19. : >I don't mean to imply that one can portably detect *all* invalid
  20. : >pointers, but with help from the compiler software-based solutions
  21. : >can give coverage that is as complete as those based on hardware.
  22. : >In either case, it is not particularly helpful that the behavior
  23. : >becomes undefined the moment an invalid value is detected.
  24. [...]
  25. : Pointer validation isn't going to be portable, as I pointed out before.
  26.  
  27. The issue is not so much the portability of the checking but the
  28. portability of programs that want to invoke it without voiding their
  29. defined-behavior contract with the underlying implemention.
  30.  
  31. : I don't see any advantage in trying to restrict the kind or form of checking
  32. : that systems are allowed to implement. I would applaud a hardware-based
  33. : mechanism, and I would resent a programming language standard that made
  34. : it non-conforming.
  35.  
  36. The issue is not the form of the checking but the response to it.  The
  37. standard response to a hardware-detected fault is to invoke a signal
  38. handler, which is (or should be) completely conforming.
  39.  
  40. Tom Payne (thp@cs.ucr.edu)
  41.  
  42.  
  43.  
  44. [ comp.std.c++ is moderated.  To submit articles: try just posting with      ]
  45. [ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu         ]
  46. [ FAQ:      http://reality.sgi.com/employees/austern_mti/std-c++/faq.html    ]
  47. [ Policy:   http://reality.sgi.com/employees/austern_mti/std-c++/policy.html ]
  48. [ Comments? mailto:std-c++-request@ncar.ucar.edu                             ]
  49.